int div(int a, int b);